Dahl, Veronica : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (42)
Les plus populaires
Liste
- Liste
- Tableau

1

Natural language processing and logic programming

Journal:

The Journal of Logic Programming

Année:

1994

Langue:

english

Fichier:

PDF, 2.57 MB

english, 1994

2

Studies of Athlete Biological Passport biomarkers and clinical parameters in male and female users of anabolic androgenic steroids and other doping agents

Börjesson, Annica, Lehtihet, Mikael, Andersson, Alexander, Dahl, Marja‐Liisa, Vicente, Veronica, Ericsson, Magnus, Ekström, Lena

Journal:

Drug Testing and Analysis

Année:

2020

Langue:

english

Fichier:

PDF, 1.26 MB

english, 2020

3

Guest editors' introduction to special issue on natural language and logic programming

Michael C. McCord, Veronica Dahl, Harvey Abramson

Journal:

The Journal of Logic Programming

Année:

1986

Langue:

english

Fichier:

PDF, 111 KB

english, 1986

4

[Lecture Notes in Computer Science] Practical Aspects of Declarative Languages Volume 2562 ||

Dahl, Veronica, Wadler, Philip

Année:

2003

Langue:

english

Fichier:

PDF, 4.16 MB

english, 2003

5

Discontinuous grammars,

Journal:

Computational Intelligence

Année:

1989

Langue:

english

Fichier:

PDF, 1.87 MB

english, 1989

6

Interpreting static discontinuity grammars in prolog

Verónica Dahl, Pierre Massicotte

Journal:

Applied Mathematics Letters

Année:

1990

Langue:

english

Fichier:

PDF, 211 KB

english, 1990

7

Incomplete types for logic databases

Journal:

Applied Mathematics Letters

Année:

1991

Langue:

english

Fichier:

PDF, 295 KB

english, 1991

8

LogiMOO: An extensible multi-user virtual world with natural language control

Paul Tarau, Koen De Bosschere, Veronica Dahl, Stephen Rochefort

Journal:

The Journal of Logic Programming

Année:

1999

Langue:

english

Fichier:

PDF, 1.50 MB

english, 1999

9

A principled characterization of dislocated phrases: Capturing barriers with Static Discontinuity Grammars

Veronica Dahl, Fred Popowich, Michael Rochemont

Journal:

Linguistics and Philosophy

Année:

1993

Langue:

english

Fichier:

PDF, 1.20 MB

english, 1993

10

Characterizing logic grammars: A substructural logic approach

James Andrews, Veronica Dahl, Fred Popowich

Journal:

The Journal of Logic Programming

Année:

1996

Langue:

english

Fichier:

PDF, 2.43 MB

english, 1996

11

Parsing and generation with Static Discontinuity Grammars

Veronica Dahl, Fred Popowich

Journal:

New Generation Computing

Année:

1990

Langue:

english

Fichier:

PDF, 1.33 MB

english, 1990

12

Genetic Counseling and Prenatal Diagnosis for the Mitochondrial DNA Mutations at Nucleotide 8993

Sarah L. White, Veronica R. Collins, Rory Wolfe, Maureen A. Cleary, Sara Shanske, Salvatore DiMauro, Hans-Henrik M. Dahl, David R. Thorburn

Journal:

The American Journal of Human Genetics

Année:

1999

Langue:

english

Fichier:

PDF, 371 KB

english, 1999

13

Generation of classification trees from variable weighted features

Pedro Barahona, Gemma Bel-Enguix, Veronica Dahl…

Journal:

Natural Computing

Année:

2014

Langue:

english

Fichier:

PDF, 520 KB

english, 2014

14

[Lecture Notes in Computer Science] Logic Programming Volume 4670 ||

Dahl, Véronica, Niemelä, Ilkka

Année:

2007

Langue:

english

Fichier:

PDF, 7.16 MB

english, 2007

15

[Lecture Notes in Computer Science] Practical Aspects of Declarative Languages Volume 2562 || Functional Hybrid Modeling

Dahl, Veronica, Wadler, Philip

Année:

2003

Langue:

english

Fichier:

PDF, 175 KB

english, 2003

16

A Principled Characterization of Dislocated Phrases: Capturing Barriers with Static Discontinuity Grammars

Veronica Dahl, Fred Popowich and Michael Rochemont

Journal:

Linguistics and Philosophy

Année:

1993

Langue:

english

Fichier:

PDF, 2.19 MB

english, 1993

17

[Lecture Notes in Computer Science] Computational Logic — CL 2000 Volume 1861 || A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases

Lloyd, John, Dahl, Veronica, Furbach, Ulrich, Kerber, Manfred, Lau, Kung-Kiu, Palamidessi, Catuscia, Pereira, Luís Moniz, Sagiv, Yehoshua, Stuckey, Peter J.

Année:

2000

Langue:

english

Fichier:

PDF, 205 KB

english, 2000

18

[Lecture Notes in Computer Science] Computational Logic — CL 2000 Volume 1861 || Mining Minimal Non-redundant Association Rules Using Frequent Closed Itemsets

Lloyd, John, Dahl, Veronica, Furbach, Ulrich, Kerber, Manfred, Lau, Kung-Kiu, Palamidessi, Catuscia, Pereira, Luís Moniz, Sagiv, Yehoshua, Stuckey, Peter J.

Année:

2000

Langue:

english

Fichier:

PDF, 197 KB

english, 2000

19

[IEEE 2007 International Conference on Natural Language Processing and Knowledge Engineering - Beijing, China (2007.08.30-2007.09.1)] 2007 International Conference on Natural Language Processing and Knowledge Engineering - Recognizing Biomedical Named Entities in the Absence of Human Annotated Corpora

Gu, Baohua, Dahl, Veronica, Popowich, Fred

Année:

2007

Langue:

english

Fichier:

PDF, 9.19 MB

english, 2007

20

[Lecture Notes in Computer Science] Practical Aspects of Declarative Languages Volume 2562 || Type-Based XML Processing in Logic Programming

Dahl, Veronica, Wadler, Philip

Année:

2003

Langue:

english

Fichier:

PDF, 171 KB

english, 2003

21

[Lecture Notes in Computer Science] Practical Aspects of Declarative Languages Volume 2562 || Logic Programs for Querying Inconsistent Databases

Dahl, Veronica, Wadler, Philip

Année:

2003

Langue:

english

Fichier:

PDF, 299 KB

english, 2003

22

[Lecture Notes in Computer Science] Logic Programming Volume 4670 || Core TuLiP Logic Programming for Trust Management

Dahl, Véronica, Niemelä, Ilkka

Année:

2007

Langue:

english

Fichier:

PDF, 595 KB

english, 2007

23

ERRATUM: "AN ASSUMPTIVE LOGIC PROGRAMMING METHODOLOGY FOR PARSING"

VOLI, KIMBERLY D., YEH, TOM P., DAHL, VERONICA

Journal:

International Journal of Artificial Intelligence Tools

Année:

2002

Fichier:

PDF, 27 KB

2002

24

AN ASSUMPTIVE LOGIC PROGRAMMING METHODOLOGY FOR PARSING

VOLL, KIMBERLY D., YEH, TOM P., DAHL, VERONICA

Journal:

International Journal of Artificial Intelligence Tools

Année:

2001

Langue:

english

Fichier:

PDF, 1.65 MB

english, 2001

25

Logic Grammars for Diagnosis and Repair

Christiansen, Henning, Dahl, Veronica

Journal:

International Journal of Artificial Intelligence Tools

Année:

2003

Langue:

english

Fichier:

PDF, 1.18 MB

english, 2003

26

[Lecture Notes in Computer Science] Computational Logic — CL 2000 Volume 1861 ||

Lloyd, John, Dahl, Veronica, Furbach, Ulrich, Kerber, Manfred, Lau, Kung-Kiu, Palamidessi, Catuscia, Pereira, Luís Moniz, Sagiv, Yehoshua, Stuckey, Peter J.

Année:

2000

Langue:

english

Fichier:

PDF, 15.47 MB

english, 2000

27

[Lecture Notes in Computer Science] Computational Logic — CL 2000 Volume 1861 || A CLP Framework for Computing Structural Test Data

Lloyd, John, Dahl, Veronica, Furbach, Ulrich, Kerber, Manfred, Lau, Kung-Kiu, Palamidessi, Catuscia, Pereira, Luís Moniz, Sagiv, Yehoshua, Stuckey, Peter J.

Année:

2000

Langue:

english

Fichier:

PDF, 216 KB

english, 2000

28

[Lecture Notes in Computer Science] Computational Logic — CL 2000 Volume 1861 || A System for Tabled Constraint Logic Programming

Lloyd, John, Dahl, Veronica, Furbach, Ulrich, Kerber, Manfred, Lau, Kung-Kiu, Palamidessi, Catuscia, Pereira, Luís Moniz, Sagiv, Yehoshua, Stuckey, Peter J.

Année:

2000

Langue:

english

Fichier:

PDF, 222 KB

english, 2000

29

[ACM Press the 15th Western Canadian Conference - Kelowna, British Columbia, Canada (2010.05.07-2010.05.08)] Proceedings of the 15th Western Canadian Conference on Computing Education - WCCCE '10 - Logic programming

Dahl, Veronica, Cukierman, Diana, Bel-Enguix, Gemma, Jiménez-Lopez, M. Dolores

Année:

2010

Langue:

english

Fichier:

PDF, 167 KB

english, 2010

30

[ACM Press CHI '97 extended abstracts - Atlanta, Georgia (1997.03.22-1997.03.27)] CHI '97 extended abstracts on Human factors in computing systems looking to the future - CHI '97 - LogiMOO

Tarau, Paul, Dahl, Veronica, Rochefort, Stephen, De Bosschere, Koen

Année:

1997

Langue:

english

Fichier:

PDF, 293 KB

english, 1997

31

Intramolecular Hydrogen Bonding in Methyl Lactate

Schroder, Sidsel Dahl, Wallberg, Jens Heide, Kroll, Jay A., Maroun, Zeina, Vaida, Veronica, Kjaergaard, Henrik G.

Journal:

Journal of Physical Chemistry A

Année:

2015

Langue:

english

Fichier:

PDF, 3.58 MB

english, 2015

32

FACT UPDATES IN LOGIC DATABASES

HUANG, YAN-NONG, DAHL, VERONICA, HAN, JIAWEI

Journal:

International Journal of Software Engineering and Knowledge Engineering

Année:

1995

Langue:

english

Fichier:

PDF, 1.01 MB

english, 1995

33

Logic Grammars ||

Abramson, Harvey, Dahl, Veronica

Année:

1989

Langue:

english

Fichier:

PDF, 16.38 MB

english, 1989

34

High-level networking with mobile code and first order AND-continuations

TARAU, PAUL, DAHL, VERONICA

Journal:

Theory and Practice of Logic Programming

Année:

2001

Langue:

english

Fichier:

PDF, 237 KB

english, 2001

35

Effect of Remifentanil on Pain and Secondary Hyperalgesia Associated with the Heat–Capsaicin Sensitization Model in Healthy Volunteers

Petersen, Karin L., Jones, Bruce, Segredo, Veronica, Dahl, Jørgen B., Rowbotham, Michael C.

Journal:

Année:

2001

Langue:

english

Fichier:

PDF, 167 KB

english, 2001

36

Polyphosphate: A Conserved Modifier of Amyloidogenic Processes

Cremers, Claudia M., Knoefler, Daniela, Gates, Stephanie, Martin, Nicholas, Dahl, Jan-Ulrik, Lempart, Justine, Xie, Lihan, Chapman, Matthew R., Galvan, Veronica, Southworth, Daniel R., Jakob, Ursula

Journal:

Année:

2016

Langue:

english

Fichier:

PDF, 2.97 MB

english, 2016

37

[Lecture Notes in Computer Science] Practical Aspects of Declarative Languages Volume 2562 || Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming

Dahl, Veronica, Wadler, Philip

Année:

2003

Fichier:

PDF, 265 KB

2003

38

Leukocyte Overexpression of Intracellular NAMPT Attenuates Atherosclerosis by Regulating PPARγ-Dependent Monocyte Differentiation and Function

Bermudez, Beatriz, Dahl, Tuva B., Medina, Indira, Groeneweg, Mathijs, Holm, Sverre, Montserrat-de la Paz, Sergio, Rousch, Mat, Otten, Jeroen J.T., Herias, Veronica, Varela, Lourdes M., Ranheim, Trine,

Journal:

Arteriosclerosis Thrombosis and Vascular Biology

Année:

2017

Langue:

english

Fichier:

PDF, 2.34 MB

english, 2017

39

Parsing as semantically guided constraint solving: the role of ontologies

Dahl, Veronica, Tessaris, Sergio, Bispo, Mariano De Sousa

Journal:

Annals of Mathematics and Artificial Intelligence

Année:

2018

Langue:

english

Fichier:

PDF, 912 KB

english, 2018

40

[Lecture Notes in Computer Science] Logic Programming Volume 4670 || User-Definable Resource Bounds Analysis for Logic Programs

Dahl, Véronica, Niemelä, Ilkka

Année:

2007

Langue:

english

Fichier:

PDF, 496 KB

english, 2007

41

Male Anabolic Androgenic Steroid Users with Personality Disorders Report More Aggressive Feelings, Suicidal Thoughts, and Criminality

BÃ¶rjesson, Annica, MÃ¶ller, Christian, Hagelin, Anders, Vicente, Veronica, Rane, Anders, Lehtihet, Mikael, Dahl, Marja-Liisa, GÃ¥revik, Nina, EkstrÃ¶m, Lena

Journal:

Année:

2020

Fichier:

PDF, 430 KB

2020

42

The Deployment of the Seismometer to Investigate Ice and Ocean Structure (SIIOS) on Gulkana Glacier, Alaska

Marusiak, Angela G., Schmerr, Nicholas C., DellaGiustina, Daniella N., Pettit, Erin C., Dahl, Peter H., Avenson, Brad, Bailey, S. Hop, Bray, Veronica J., Wagner, Natalie, Carr, Chris G., Weber, Renee

Journal:

Seismological Research Letters

Année:

2020

Fichier:

PDF, 13.19 MB

2020